-
1 теорема полноты
Большой англо-русский и русско-английский словарь > теорема полноты
-
2 completeness theorem
The English-Russian dictionary general scientific > completeness theorem
-
3 completeness theorem
1) Математика: теорема полноты2) Программирование: теорема о полноте -
4 completeness theorem
Большой англо-русский и русско-английский словарь > completeness theorem
-
5 completeness theorem
мат.English-Russian scientific dictionary > completeness theorem
-
6 absolute completeness
-
7 completeness
1. полната; завершенность2. полнота; завершенность3. полнота; законченность; завершенностьСинонимический ряд:entirety (noun) allness; entire; entireness; entireties'; entirety; intactness; integrity; oneness; perfection; totalities'; totality; universality; wholeness -
8 functional completeness
-
9 simple completeness
См. также в других словарях:
Теорема Больцано — Вейерштрасса — Теорема Больцано Вейерштрасса, или лемма Больцано Вейерштрасса о предельной точке предложение анализа, одна из формулировок которого гласит: из всякой ограниченной последовательности точек пространства можно выделить сходящуюся… … Википедия
Теорема Больцано — Теорема Больцано Вейерштрасса, или лемма Больцано Вейерштрасса о предельной точке предложение анализа, одна из формулировок которого гласит: из всякой ограниченной последовательности точек пространства можно выделить сходящуюся… … Википедия
Теорема Кука — Теорема Кука Левина (также просто теорема Кука) утверждает, что задача о выполнимости булевой формулы в КНФ (SAT) является NP полной. Доказательство этой теоремы, полученное Стивеном Куком в его фундаментальной работе в… … Википедия
МЮНЦА ТЕОРЕМА — теорема о полноте системы степеней на отрезке для того чтобы для любой функции , непрерывной на и любого нашлась линейная комбинация такая, что необходимо и достаточно, чтобы выполнялось условие В случае отрезка к системе … Математическая энциклопедия
КАНТОРА ТЕОРЕМА — 1) Множество 2A, состоящее из всех подмножеств множества А, не равномощно ни самому А, ни его подмножеству. Идея доказательства этой теоремы, принадлежащая Г. Кантору (G.Cantor, 1878), получила название канторова диагонального метода и играет… … Математическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции:… … Большая советская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия